TreeView Knowledge Base Browser - larger

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 7777-7778
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 7774-7774	The number 1 argument of larger is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7775-7775	The number 2 argument of larger is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7769-7769	larger is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7772-7772	larger is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7770-7770	larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7773-7773	larger is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7771-7771	larger is an instance of transitive relation

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 7797-7797	smaller is an inverse of larger
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 7780-7788

An object is larger than another object if and only if for all a real number, another real number and an unit of measure

if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of length,
then the real number is greater than the other real number

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5270-5274	If an object is an instance of cove and another object is an instance of bay, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5145-5149	If an object is an instance of gulf and another object is an instance of bay, then the object is larger than the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5305-5310	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object

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