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 8580-8582
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1465-1466
No TPTP formula. May not be expressible in strict first order. Merge.kif 8577-8577 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 8574-8574 Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8576-8576 Past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8575-8575 Past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8578-8578 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 463-463
No TPTP formula. May not be expressible in strict first order. french_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-it.txt 215-215
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2055-2055
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-de.txt 598-598
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 253-253
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 286-286
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 292-292
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 407-407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44738-44738
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 44737-44737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44736-44736
No TPTP formula. May not be expressible in strict first order. terms-de.txt 184-184

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12854-12867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23846-23857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20919-20925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9879-9890
No TPTP formula. May not be expressible in strict first order. Merge.kif 8588-8590
No TPTP formula. May not be expressible in strict first order. Merge.kif 8602-8604
No TPTP formula. May not be expressible in strict first order. Merge.kif 8584-8586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10737-10747


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