TreeView Knowledge Base Browser - fills

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - fills

fills

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2885-2889
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10049-10052
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1633-1636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10045-10045	The number 1 argument of fills is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10046-10046	The number 2 argument of fills is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10042-10042	fills is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10047-10047	fills is internally related to fillable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10043-10043	fills is a subrelation of completely fills
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10044-10044	fills is a subrelation of properly fills

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 379-379
No TPTP formula. May not be expressible in strict first order.	english_format.kif 385-385
No TPTP formula. May not be expressible in strict first order.	french_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 110-110
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2024-2024
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 170-170
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 225-225
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 507-507
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 150-150
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 238-238
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 235-235
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 230-230
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 380-380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23678-23678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23677-23677
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23676-23676
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 231-231

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10074-10078	If an object fills a hole and another hole is a proper part of the hole, then the object completely fills the other hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10054-10059	If an object fills a hole and fillable is an attribute of another object, then the object and the other object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10080-10084	If an object fills a hole and another object is a proper part of the object, then the other object properly fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9978-9981	If an entity fills an object holds during a time position, then fillable is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1646-1652	If container full is an attribute of a self connected object, then there exist a hole and an object such that the hole is an instance of hole and the hole is a hole in the self connected object and the object fills the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10035-10040	If an object completely fills a hole, then there exists another object such that the other object is a part of the object and the other object fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10016-10021	If an object properly fills a hole, then there exists another hole such that the other hole is a part of the hole and the object fills the other hole

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