LastFn - Sigma Knowledge base Browser

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 3208-3210
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3206-3206	The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3205-3205	Last is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3207-3207	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 33421-33421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33420-33420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33419-33419

antecedent

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

Merge.kif 3212-3217

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 3219-3223	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 1878-1886	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 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