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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PastFn
PastFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2739-2740
No TPTP formula. May not be expressible in strict first order. Merge.kif 7941-7943
No TPTP formula. May not be expressible in strict first order. Merge.kif 7938-7938 The number 1 argument of past is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7935-7935 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7937-7937 Past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7936-7936 Past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7939-7939 The range of past is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. english_format.kif 466-466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44650-44650
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 458-458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44649-44649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44648-44648

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11788-11800
No TPTP formula. May not be expressible in strict first order. Merge.kif 682-689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20050-20061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17155-17161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8334-8345
No TPTP formula. May not be expressible in strict first order. Merge.kif 7949-7951
No TPTP formula. May not be expressible in strict first order. Merge.kif 7963-7965
No TPTP formula. May not be expressible in strict first order. Merge.kif 7945-7947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9010-9020


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