FirstFn - Sigma Knowledge base Browser

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

If %2 is the list of items viewed by 1 and a physical is an instance of AccessingWebPage and the first of a list is equal to the physical,
then there doesn't exist the physical2 such that the physical2 is an instance of AccessingWebPage and an agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical

consequent

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

Mid-level-ontology.kif 6356-6361