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 3221-3223
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3219	The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3218-3218	Last is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3220-3220	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 33426-33426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33425-33425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33424-33424

antecedent

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

Merge.kif 3225-3230

If equal the last of a list and an entity,
then there exists a positive integer such that equal length of the list and the positive integer and equal the positive integerth element of the list and the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3232-3236	If equal length of a list and a positive integer and equal the positive integerth element of the list and another entity, then equal the last of the list and the other entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2707-2715	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that equal the time interval and 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