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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediatePastFn
ImmediatePastFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2741-2742
No TPTP formula. May not be expressible in strict first order. Merge.kif 8174-8176
No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8171 The number 1 argument of immediate past is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 8168-8168 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8170-8170 Immediate past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8169-8169 Immediate past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8172-8172 The range of immediate 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 459-459
No TPTP formula. May not be expressible in strict first order. english_format.kif 465-465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29352-29352
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 460-460
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29351-29351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29350-29350

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9381-9403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9442-9464
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1932-1946
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4530-4540
No TPTP formula. May not be expressible in strict first order. Geography.kif 6613-6627
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1270-1293
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10037-10052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10015-10030
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-416
No TPTP formula. May not be expressible in strict first order. Cars.kif 1987-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 6665-6679
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 449-457

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


No TPTP formula. May not be expressible in strict first order. Government.kif 725-740
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18003-18019
No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5711-5730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5777-5795
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 137-146
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4462-4471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9858-9873
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4415-4425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17945-17963
No TPTP formula. May not be expressible in strict first order. Geography.kif 5518-5525
No TPTP formula. May not be expressible in strict first order. emotion.kif 1401-1419
No TPTP formula. May not be expressible in strict first order. emotion.kif 1435-1453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5436-5455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7491-7505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20420-20449
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 800-807
No TPTP formula. May not be expressible in strict first order. Merge.kif 3877-3887
No TPTP formula. May not be expressible in strict first order. Merge.kif 3899-3908
No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529
No TPTP formula. May not be expressible in strict first order. Geography.kif 4551-4556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9980-9992
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4227-4246

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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