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 29359-29359
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 29358-29358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29357-29357

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 6544-6558
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 6596-6610
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 16379-16395
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 9670-9685
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 16324-16342
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-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 7536-7545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18870-18899
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 1515-1525
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 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 7992-7994
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19733-19746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19789-19804

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