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 8522-8524
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 8519-8519 O argumento numero 1 de ImmediatePastFn e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8516-8516 ImmediatePastFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8518-8518 ImmediatePastFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8517-8517 ImmediatePastFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 8520-8520 O contra-dominio de ImmediatePastFn e' uma instancia de Intervalo Temporal

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 9838-9860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9899-9921
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 10554-10569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10532-10547
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 1993-2005
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 18678-18694
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 6055-6074
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 6121-6139
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 10244-10259
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 18620-18638
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 5778-5797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7847-7861
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 21146-21176
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