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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LastFn
LastFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3101-3103
No TPTP formula. May not be expressible in strict first order. Merge.kif 3099-3099 The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3098-3098 Last is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3100-3100 The range of last is an instance of entity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1439-1439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1438-1438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1437-1437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33409-33409
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33408-33408
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33407-33407

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3105-3110 The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1660-1668


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