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

Formal Language: 



KB Term:  Term intersection
English Word: 

  before

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 8104-8105
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 8101-8101 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 8102-8102 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 8097-8097 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8096-8096 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8098-8098 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8100-8100 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 8099-8099 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 10534-10534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10533-10533
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 8086-8094
No TPTP formula. May not be expressible in strict first order. Merge.kif 8176-8180
No TPTP formula. May not be expressible in strict first order. Merge.kif 8054-8062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 501-514
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1087-1099
No TPTP formula. May not be expressible in strict first order. Weather.kif 1598-1608
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 8269-8279
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8384
No TPTP formula. May not be expressible in strict first order. Merge.kif 8151-8155

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 6231-6244
No TPTP formula. May not be expressible in strict first order. Music.kif 457-470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
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 8281-8288
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22920-22925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29595-29604
No TPTP formula. May not be expressible in strict first order. Merge.kif 8722-8729
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1615-1624
No TPTP formula. May not be expressible in strict first order. Merge.kif 8706-8713
No TPTP formula. May not be expressible in strict first order. Merge.kif 7887-7891
No TPTP formula. May not be expressible in strict first order. Merge.kif 7869-7873
No TPTP formula. May not be expressible in strict first order. Merge.kif 12163-12172
No TPTP formula. May not be expressible in strict first order. Geography.kif 2328-2338
No TPTP formula. May not be expressible in strict first order. Merge.kif 8262-8267
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 26973-26999
No TPTP formula. May not be expressible in strict first order. Merge.kif 8690-8697
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2788-2800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14624-14638
No TPTP formula. May not be expressible in strict first order. Merge.kif 8145-8149
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4317-4321
No TPTP formula. May not be expressible in strict first order. Hotel.kif 667-675

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