Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BinaryRelation
BinaryRelation(Relacao Binaria)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1831-1832
No TPTP formula. May not be expressible in strict first order. Merge.kif 2235-2237
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 451-452
No TPTP formula. May not be expressible in strict first order. Merge.kif 2233-2233 Relacao Binaria e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2232-2232 Relacao Binaria e' uma sub-classe de Relacao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 Relacao e' disjuntamente decomponivel em Relacao Binaria, Relacao Ternaria, Relacao Quaternaria, Relacao Quinquenaria, + Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 251-251 catalyst e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 726-726 deviceOS e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1021-1021 hardwareType e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 18012-18012 physicalEnd e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4419-4419 recoveryKey e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3862-3862 softwareVersion e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29629-29629 suffers e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2292-2292 Relacao Anti-simetrica e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3480-3480 Predicado Binario e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16927-16927 EconomicRelation e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2349 Relacao Intransitiva e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2249-2249 Relacao Irreflexiva e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2239-2239 Relacao Reflexiva e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2260-2260 Relacao Simetrica e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2333-2333 Relacao Transitiva e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 2310-2310 Relacao Tricotomica e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3360-3360 Funcao Unaria e' uma sub-classe de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 892-892
No TPTP formula. May not be expressible in strict first order. english_format.kif 986-986
No TPTP formula. May not be expressible in strict first order. french_format.kif 568-568
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order. terms-it.txt 101-101
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2253-2253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3706-3706 O argumento numero 1 de equivalenceRelationOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 111-111 O argumento numero 1 de inverse e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 112-112 O argumento numero 2 de inverse e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3643-3643 O argumento numero 1 de partialOrderingOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3604-3604 O argumento numero 1 de reflexiveOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3660-3660 O argumento numero 1 de totalOrderingOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3682-3682 O argumento numero 1 de trichotomizingOn e' uma instancia de Relacao Binaria


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners