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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - before
before

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2707-2708
No TPTP formula. May not be expressible in strict first order. Merge.kif 8217-8218
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1430-1431
No TPTP formula. May not be expressible in strict first order. Merge.kif 8214-8214 The number 1 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8215-8215 The number 2 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8210-8210 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8209-8209 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8211-8211 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8213-8213 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 8212-8212 before is a subrelation of before or equal

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 423-423
No TPTP formula. May not be expressible in strict first order. english_format.kif 429-429
No TPTP formula. May not be expressible in strict first order. french_format.kif 246-246
No TPTP formula. May not be expressible in strict first order. relations-it.txt 32-32
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2040-2040
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 198-198
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 251-251
No TPTP formula. May not be expressible in strict first order. relations-de.txt 550-550
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 267-267
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 267-267
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 80-80
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 424-424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10541-10541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10540-10540
No TPTP formula. May not be expressible in strict first order. terms-de.txt 169-169
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 81-81

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8179
No TPTP formula. May not be expressible in strict first order. Merge.kif 8289-8293
No TPTP formula. May not be expressible in strict first order. Merge.kif 8139-8147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 494-507
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1089-1101
No TPTP formula. May not be expressible in strict first order. Weather.kif 2427-2437
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8392
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2686-2702
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2640-2656
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2704-2720
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2658-2676
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 836-844
No TPTP formula. May not be expressible in strict first order. Merge.kif 8495-8497
No TPTP formula. May not be expressible in strict first order. Merge.kif 8264-8268

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


No TPTP formula. May not be expressible in strict first order. Music.kif 261-270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7168-7181
No TPTP formula. May not be expressible in strict first order. Music.kif 459-472
No TPTP formula. May not be expressible in strict first order. Hotel.kif 688-699
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 8394-8401
No TPTP formula. May not be expressible in strict first order. Merge.kif 15665-15682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24561-24566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31514-31523
No TPTP formula. May not be expressible in strict first order. Merge.kif 8835-8842
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1631-1640
No TPTP formula. May not be expressible in strict first order. Merge.kif 8819-8826
No TPTP formula. May not be expressible in strict first order. Merge.kif 7972-7976
No TPTP formula. May not be expressible in strict first order. Merge.kif 7954-7958
No TPTP formula. May not be expressible in strict first order. Merge.kif 12313-12322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1337-1352
No TPTP formula. May not be expressible in strict first order. Geography.kif 2486-2496
No TPTP formula. May not be expressible in strict first order. Merge.kif 8375-8380
No TPTP formula. May not be expressible in strict first order. Dining.kif 274-291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28872-28898
No TPTP formula. May not be expressible in strict first order. Merge.kif 8803-8810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2805-2817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15995-16009
No TPTP formula. May not be expressible in strict first order. Merge.kif 8258-8262
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4317-4321

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