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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImmediatePastFn

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 8500-8502
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1467-1468
No TPTP formula. May not be expressible in strict first order. Merge.kif 8497-8497 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 8494-8494 Immediate past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8496-8496 Immediate past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8495-8495 Immediate past is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8498-8498 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. french_format.kif 266-266
No TPTP formula. May not be expressible in strict first order. relations-it.txt 139-139
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2056-2056
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 272-272
No TPTP formula. May not be expressible in strict first order. relations-de.txt 600-600
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 178-178
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 287-287
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 282-282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29361-29361
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 29360-29360
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. relations-tg.txt 283-283

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9839-9861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9922
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4566-4576
No TPTP formula. May not be expressible in strict first order. Geography.kif 7016-7030
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10555-10570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10533-10548
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
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 7068-7082
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481

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


No TPTP formula. May not be expressible in strict first order. Government.kif 738-753
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6257-6275
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4482-4491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18679-18695
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 6056-6075
No TPTP formula. May not be expressible in strict first order. Medicine.kif 767-785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6122-6140
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 4498-4507
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4451-4461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18621-18639
No TPTP formula. May not be expressible in strict first order. Geography.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. emotion.kif 1393-1411
No TPTP formula. May not be expressible in strict first order. emotion.kif 1427-1445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5779-5798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7848-7862
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 802-809
No TPTP formula. May not be expressible in strict first order. Merge.kif 4000-4010
No TPTP formula. May not be expressible in strict first order. Merge.kif 4022-4031
No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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