TreeView Knowledge Base Browser - BackFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BackFn

BackFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1565-1569
No TPTP formula. May not be expressible in strict first order.	Merge.kif 895-902
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 138-142
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-891	The number 1 argument of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 889-889	Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 888-888	Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 890-890	Back is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 892-892	The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 893-893	Back is internally related to front

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 255-255
No TPTP formula. May not be expressible in strict first order.	english_format.kif 255-255
No TPTP formula. May not be expressible in strict first order.	french_format.kif 146-146
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 31-31
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1974-1974
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 98-98
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 328-328
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 165-165
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 152-152
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 78-78
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 256-256
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9511-9511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9510-9510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9509-9509
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 79-79

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1849-1856	If supine is an attribute of a self connected object and the self connected object is on to an object holds during a time position and equal another self connected object and the back of the self connected object, then the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1858-1865	If an object is an instance of chest and the object is a part of a self connected object and equal another self connected object and the back of the self connected object, then the object is not a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14232-14239	If an object is an instance of face and the object is a part of a self connected object and equal another self connected object and the back of the self connected object, then the object is not a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 915-920	If equal a self connected object and the back of another self connected object, then the self connected object and the front of the other self connected object doesn't overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2006-2020	If dorsal is an attribute of an object, then there exists a self connected object such that the self connected object is an instance of organism or the self connected object is an instance of body part and ~{ the self connected object is an instance of organism } or ~{ the self connected object is an instance of body part } and the object is a part of the self connected object and equal another self connected object and the back of the self connected object and the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 908-913	If equal a self connected object and the front of another self connected object, then the self connected object and the back of the other self connected object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1432-1438	If an object is an instance of butt stock, then there exists a self connected object such that the self connected object is an instance of gun stock and the object is a part of the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5670-5677	If a self connected object is an instance of back, then there exist an object and another self connected object such that the object is an instance of human and the other self connected object is an instance of torso and the other self connected object is a part of the object and equal the self connected object and the back of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3532-3537	If an object is an instance of taillight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 904-906	If a self connected object is an instance of self connected object, then a side of the self connected object is the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16578-16583	If an object is an instance of rear window, then there exists a self connected object such that the self connected object is an instance of road vehicle and the object is a part of the back of the self connected 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