FrontFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FrontFn

FrontFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1560-1564
No TPTP formula. May not be expressible in strict first order.	Merge.kif 841-849
No TPTP formula. May not be expressible in strict first order.	Merge.kif 838-838	The number 1 argument of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 836-836	Front is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 837-837	Front is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 834-834	Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 835-835	Front is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-839	The range of front 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 259-259
No TPTP formula. May not be expressible in strict first order.	english_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 260-260	"挪前函数" is the printable form of front in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25009-25009	"面前" is the printable form of front in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25008-25008	"面前" is the printable form of front in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25007-25007	"front" is the printable form of front in english language

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 313-319	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object は the object を contains %n{ない}, then the statement the Image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10473-10479	If an object is an instance of breast, then there exists a self connected object such that the self connected object is an instance of torso and the object is a part of the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3615-3620	If an object is an instance of headlight, 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 front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 851-853	If a self connected object is an instance of self connected object, then a side of the self connected object is the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3991-3996	If an object is an instance of windshield, 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 front of the self connected object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners