Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FirstFn
FirstFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6352-6354
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6350-6350 The number 1 argument of first is an instance of list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6349-6349 First is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6351-6351 The range of first is an instance of entity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 261-261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4414-4414 "first" is the printable form of first in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 974-988

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6356-6361


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