Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
oplweb
skos-trans
virtrdf-label
None
About:
http://www.ontologyportal.org/SUMO.owl#entails
An Entity of Type :
unknown
, within Data Space :
lodserver.iula.upf.edu
Start faceted browsing from this Type
Attributes
Values
is
Used to point to S... & relType='plus'
of
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06755342-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06647864-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06753030-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06647960-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-05824985-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-teorema-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06752293-n
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-cercle_vici%C3%B3s-n_2
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-comprovaci%C3%B3-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-conclusi%C3%B3-n_6
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-demostraci%C3%B3-n_3
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-reducci%C3%B3_a_labsurd-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-verificaci%C3%B3-n_4
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-06753030-n
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-00294459-r
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-00062857-r
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-00043347-r
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-06647960-n
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-06647864-n
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-conclusi%C3%B3n-n_7
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-consecuentemente-r_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-consecuentemente-r_2
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-demostraci%C3%B3n-n_3
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-ergo-r_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-por_consiguiente-r_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-por_lo_tanto-r_2
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-prueba_l%C3%B3gica-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-prueba_matem%C3%A1tica-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-06647864-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-06752293-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-06753030-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-06647960-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-05824985-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-absurdora_eramate-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-absurdoratze-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-egiaztapen-n_5
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-frogaketa-n_2
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-frogantza-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-frogapen-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-frogatze-n_2
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-konklusio-n_1
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-teorema-n_2
http://lodserver.iula.upf.edu/id/WordNetLemon/GL/glg-30-06752293-n
http://lodserver.iula.upf.edu/id/WordNetLemon/GL/S-teorema-n_1
is
Used to point to S...& relType='equal'
of
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-deduir-se-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-02720149-v
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-encloure-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-02635189-v
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-implicar-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/S-prova-n_4
http://lodserver.iula.upf.edu/id/WordNetLemon/CAT/cat-30-06647614-n
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-02635189-v
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/spa-30-06647614-n
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-comportar-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-implicar-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-presuponer-v_1
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-prueba-n_4
http://lodserver.iula.upf.edu/id/WordNetLemon/ES/S-suponer-v_2
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/eus-30-06647614-n
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-froga-n_2
http://lodserver.iula.upf.edu/id/WordNetLemon/EU/S-frogapen-n_2
Alternative Linked Data Views:
Sponger
|
iSPARQL
|
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
)
About
This work is licensed under a
Creative Commons Attribution-Share Alike 3.0 Unported License
.
OpenLink Virtuoso
version 06.01.3127, on Linux (x86_64-pc-linux-gnu), Standard Edition
Copyright © 2009-2011 OpenLink Software