TreeView Knowledge Base Browser - overlapsPartially

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

overlapsPartially

Sigma KEE - overlapsPartially

overlapsPartially

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2832-2833
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9617-9619
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1576-1577
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9621-9621	The number 1 argument of overlap partially is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9622-9622	The number 2 argument of overlap partially is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9609-9609	overlap partially is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9612-9612	overlap partially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9611-9611	overlap partially is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9610-9610	overlap partially is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 369-369
No TPTP formula. May not be expressible in strict first order.	english_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.	french_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 206-206
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2019-2019
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 165-165
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 220-220
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 492-492
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 244-244
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 233-233
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 230-230
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 394-394
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43775-43775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43774-43774
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 395-395

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9624-9632	If an object partially overlaps with another object, then the object is not a part of the other object and the other object is not a part of the object and there exists a third object such that the third object is a part of the object and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9643-9645	If an object partially overlaps with another object, then the object and the other object overlapsSpatially

consequent

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

Merge.kif 9634-9641

If an object is not a part of another object and the other object is not a part of the object and a third object is a part of the object and the third object is a part of the other object,
then the object partially overlaps with 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