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 838-846
No TPTP formula. May not be expressible in strict first order. Merge.kif 835-835 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 833-833 Front is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 834-834 Front is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 836-836 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25003-25003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25002-25002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25001-25001

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10499-10505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3621-3626
No TPTP formula. May not be expressible in strict first order. Merge.kif 848-850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3997-4002


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 3.0 is open source software produced by Articulate Software and its partners