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 901-908
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 898-898	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 896-896	Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 895-895	Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 897-897	Back is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	The range of back is an instance of self connected object

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 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.	domainEnglishFormat.kif 9508-9508
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 1814-1821	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 another self connected object is equal to 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 1823-1830	If an object is an instance of chest and the object is a part of a self connected object and another self connected object is equal to 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 12901-12908	If an object is an instance of face and the object is a part of a self connected object and another self connected object is equal to the back of the self connected object, then the object is not a part of the other self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5659-5666	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 the self connected object is equal to the back of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3089-3094	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 910-912	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 15205-15210	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