TreeView Knowledge Base Browser - penetrates

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - penetrates

penetrates

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2129-2130
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4211-4213
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 784-785
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4207-4207	penetrates is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4208-4208	penetrates is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4209-4209	penetrates is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4206-4206	penetrates is a subrelation of traverses

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 217-217
No TPTP formula. May not be expressible in strict first order.	english_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	french_format.kif 128-128
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 220-220
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1957-1957
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 80-80
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 281-281
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 147-147
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 133-133
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 412-412
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45018-45018
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45017-45017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45016-45016
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 90-90

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4215-4217

If an object penetrates another object,
then the object meets the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5811-5816	If an object is an instance of cape, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5225-5230	If an object is an instance of inlet, then there exists another object such that the other object is an instance of land area and the object penetrates the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5800-5805	If an object is an instance of peninsula, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4191-4195	If an object traverses another object, then the object crosses the other object or the object penetrates the other 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