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

Formal Language: 



KB Term:  Term intersection
English Word: 

  larger

Sigma KEE - larger
larger

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2664-2665
No TPTP formula. May not be expressible in strict first order. Merge.kif 7755-7756
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1384-1385
No TPTP formula. May not be expressible in strict first order. Merge.kif 7752-7752 更大 的 1 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7753-7753 更大 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7747-7747 更大二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7750-7750 更大非自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7748-7748 更大空间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7751-7751 更大总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7749-7749 更大传递关系instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 623-623
No TPTP formula. May not be expressible in strict first order. english_format.kif 626-626
No TPTP formula. May not be expressible in strict first order. french_format.kif 376-376
No TPTP formula. May not be expressible in strict first order. relations-it.txt 160-160
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2110-2110
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 328-328
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 385-385
No TPTP formula. May not be expressible in strict first order. relations-de.txt 818-818
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 199-199
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 398-398
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 418-418
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 320-320
No TPTP formula. May not be expressible in strict first order. Merge.kif 7775-7775 更小更大inverse
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 624-624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33366-33366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33365-33365
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 321-321

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7758-7766 客体 larger 另一个 客体 若且唯若 对所有 实数另一个 实数, and 和 测量单位

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5330-5335
No TPTP formula. May not be expressible in strict first order. Geography.kif 5270-5274
No TPTP formula. May not be expressible in strict first order. Geography.kif 5145-5149
No TPTP formula. May not be expressible in strict first order. Geography.kif 4523-4528
No TPTP formula. May not be expressible in strict first order. Geography.kif 5305-5310


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