properlyFills - Sigma Knowledge base Browser

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 1000-1007
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 997-997	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 998-998	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 995-995	properly fills is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 996-996	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 10147-10147	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 386-386	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47823-47823	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47822-47822	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47821-47821	fills is a subrelation of properly fills
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 161-161	fills is a subrelation of properly fills

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1030-1034	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 10171-10175	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 10117-10122	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 10183-10187	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 1023-1028	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 14262-14269	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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