TreeView Knowledge Base Browser - properlyFills

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - properlyFills

properlyFills

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2874-2879
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1005-1012
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1621-1627
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1002-1002	The number 1 argument of properly fills is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	The number 2 argument of properly fills is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1000-1000	properly fills is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1001-1001	properly fills is a subrelation of partially fills

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 385-385
No TPTP formula. May not be expressible in strict first order.	english_format.kif 391-391
No TPTP formula. May not be expressible in strict first order.	french_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 233-233
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2027-2027
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 173-173
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 228-228
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 516-516
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 271-271
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 241-241
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 238-238
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 425-425
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10058-10058	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 386-386
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47794-47794
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47793-47793
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47792-47792

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1035-1039	If a hole is a hole in a self connected object and an object properly fills the hole, then the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10082-10086	If an object properly fills a hole and another object is connected to the object, then the hole is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10030-10035	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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10094-10098	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 1028-1033	If a self connected object contains an object, then there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14170-14177	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the 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