TreeView Knowledge Base Browser - LastFn

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 3209-3211
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3207-3207	The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3206-3206	Last is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3208-3208	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 33449-33449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33448-33448
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33447-33447

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3213-3218

If the last of a list is equal to an entity,
then 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.	Merge.kif 3220-3224	If length of a list is equal to a positive integer and the positive integerth element of the list is equal to another entity, then the last of the list is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1861-1869	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration

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