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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelationExtendedToQuantities

 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 3536-3548
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 3534-3534 Relacao estendida a Quantidades e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3533-3533 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 3689-3701


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

Show without tree


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