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 7988-7990
No TPTP formula. May not be expressible in strict first order. Merge.kif 7985-7985 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 7982-7982 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7984-7984 Immediate past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7983-7983 Immediate past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7986-7986 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 468-468
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. QoSontology.kif 1932-1946
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4537-4547
No TPTP formula. May not be expressible in strict first order. Geography.kif 6546-6560
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 1271-1294
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 2001-2013
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6612
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 4453-4462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15218-15234
No TPTP formula. May not be expressible in strict first order. Cars.kif 1266-1281
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 4469-4478
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9685
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4422-4432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15160-15178
No TPTP formula. May not be expressible in strict first order. Geography.kif 5493-5500
No TPTP formula. May not be expressible in strict first order. emotion.kif 1375-1393
No TPTP formula. May not be expressible in strict first order. emotion.kif 1409-1427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6857-6871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17535-17564
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 3869-3879
No TPTP formula. May not be expressible in strict first order. Merge.kif 3891-3900
No TPTP formula. May not be expressible in strict first order. Cars.kif 1533-1543
No TPTP formula. May not be expressible in strict first order. Geography.kif 4526-4531
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4234-4253
No TPTP formula. May not be expressible in strict first order. Cars.kif 3623-3639
No TPTP formula. May not be expressible in strict first order. Merge.kif 7992-7994
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18375-18388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18431-18446

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