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 859-866
No TPTP formula. May not be expressible in strict first order.	Merge.kif 856-856	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 854-854	Back is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 853-853	Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 855-855	Back is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 857-857	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 258-258
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 9527-9527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9526-9526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9525-9525

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3632-3637	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 868-870	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 12921-12926	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