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 7959-7961
No TPTP formula. May not be expressible in strict first order. Merge.kif 7956-7956 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 7953-7953 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7955-7955 Immediate past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7954-7954 Immediate past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7957-7957 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 29284-29284
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 29283-29283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29282-29282

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 4486-4496
No TPTP formula. May not be expressible in strict first order. Geography.kif 6354-6368
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 1720-1740
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 1974-1986
No TPTP formula. May not be expressible in strict first order. Geography.kif 6406-6420
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 4402-4411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16374-16390
No TPTP formula. May not be expressible in strict first order. Cars.kif 1257-1268
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 4418-4427
No TPTP formula. May not be expressible in strict first order. Merge.kif 9635-9650
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4371-4381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16319-16337
No TPTP formula. May not be expressible in strict first order. Geography.kif 5387-5394
No TPTP formula. May not be expressible in strict first order. emotion.kif 1375-1390
No TPTP formula. May not be expressible in strict first order. emotion.kif 1406-1421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7534-7543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18864-18893
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 3857-3867
No TPTP formula. May not be expressible in strict first order. Merge.kif 3879-3888
No TPTP formula. May not be expressible in strict first order. Cars.kif 1515-1525
No TPTP formula. May not be expressible in strict first order. Geography.kif 4439-4444
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4183-4202
No TPTP formula. May not be expressible in strict first order. Cars.kif 3584-3597
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. Mid-level-ontology.kif 19727-19740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19783-19798

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