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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - earlier
earlier

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2724-2725
No TPTP formula. May not be expressible in strict first order. Merge.kif 8396-8398
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order. Merge.kif 8393-8393 Le nombre 1 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8394-8394 Le nombre 2 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8388-8388 earlier est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 8391-8391 earlier est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8389-8389 earlier est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8392-8392 earlier est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8390-8390 earlier est une instance de relation transitive

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order. english_format.kif 443-443
No TPTP formula. May not be expressible in strict first order. french_format.kif 253-253
No TPTP formula. May not be expressible in strict first order. relations-it.txt 87-87
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2047-2047
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order. relations-de.txt 571-571
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 274-274
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 277-277
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 189-189
No TPTP formula. May not be expressible in strict first order. Merge.kif 8122-8122 before est reli� � l'int�rieur de SUMO � earlier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20790-20790
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20789-20789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20788-20788
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 190-190

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Merge.kif 8303-8310
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10054-10077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10024-10045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 74-83
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9773-9794
No TPTP formula. May not be expressible in strict first order. Merge.kif 8400-8402

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4373-4382
No TPTP formula. May not be expressible in strict first order. Government.kif 612-617
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3545-3555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1500-1512
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7971-7981
No TPTP formula. May not be expressible in strict first order. Merge.kif 14359-14366
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. Mid-level-ontology.kif 24018-24027
No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Sports.kif 778-788
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29627-29641
No TPTP formula. May not be expressible in strict first order. Merge.kif 10963-10976
No TPTP formula. May not be expressible in strict first order. Merge.kif 10921-10934
No TPTP formula. May not be expressible in strict first order. Merge.kif 10900-10913
No TPTP formula. May not be expressible in strict first order. Merge.kif 8753-8758
No TPTP formula. May not be expressible in strict first order. WMD.kif 750-758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16689-16701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16670-16682
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18218 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ


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