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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RelationExtendedToQuantities
RelationExtendedToQuantities(Relacao estendida a Quantidades)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2021-2029
No TPTP formula. May not be expressible in strict first order. Merge.kif 3537-3549
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 661-670
No TPTP formula. May not be expressible in strict first order. Merge.kif 3535-3535 Relacao estendida a Quantidades e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3534-3534 Relacao estendida a Quantidades e' uma sub-classe de Relacao

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1846-1846 greaterThan e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 1875-1875 greaterThanOrEqualTo e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 1834-1834 lessThan e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 1858-1858 lessThanOrEqualTo e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Geography.kif 642-642 BinaryRelationExtendedToQuantities e' uma sub-classe de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 931-931
No TPTP formula. May not be expressible in strict first order. english_format.kif 1069-1069
No TPTP formula. May not be expressible in strict first order. french_format.kif 607-607
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 138-138
No TPTP formula. May not be expressible in strict first order. terms-it.txt 141-141
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2292-2292
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 628-628
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 142-142

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3690-3702


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