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 8016-8017
No TPTP formula. May not be expressible in strict first order. Merge.kif 8013-8013 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 8014-8014 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 8009-8009 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8008-8008 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8010-8010 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8012-8012 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 8011-8011 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. chinese_format.kif 424-424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10543-10543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10542-10542

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-8006
No TPTP formula. May not be expressible in strict first order. Merge.kif 8088-8092
No TPTP formula. May not be expressible in strict first order. Merge.kif 7966-7974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 496-509
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1086-1098
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8189
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2677-2693
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2695-2711
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 833-841
No TPTP formula. May not be expressible in strict first order. Merge.kif 8292-8294
No TPTP formula. May not be expressible in strict first order. Merge.kif 8063-8067

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


No TPTP formula. May not be expressible in strict first order. Music.kif 260-269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5938-5951
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Music.kif 456-469
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 8191-8198
No TPTP formula. May not be expressible in strict first order. Merge.kif 15261-15278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22452-22457
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29099-29108
No TPTP formula. May not be expressible in strict first order. Merge.kif 8632-8639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1614-1623
No TPTP formula. May not be expressible in strict first order. Merge.kif 8616-8623
No TPTP formula. May not be expressible in strict first order. Merge.kif 7799-7803
No TPTP formula. May not be expressible in strict first order. Merge.kif 7781-7785
No TPTP formula. May not be expressible in strict first order. Merge.kif 11948-11957
No TPTP formula. May not be expressible in strict first order. Geography.kif 2331-2341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8172-8177
No TPTP formula. May not be expressible in strict first order. Dining.kif 270-287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26459-26485
No TPTP formula. May not be expressible in strict first order. Merge.kif 8600-8607
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2795-2807
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14143-14157
No TPTP formula. May not be expressible in strict first order. Merge.kif 8057-8061
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4523-4527

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