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 8410-8412
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 8407-8407 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 8408-8408 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 8402-8402 earlier est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 8405-8405 earlier est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8403-8403 earlier est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8406-8406 earlier est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8404-8404 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 8136-8136 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 8317-8324
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 10082-10105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10052-10073
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 9801-9822
No TPTP formula. May not be expressible in strict first order. Merge.kif 8414-8416

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 576-581
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 7999-8009
No TPTP formula. May not be expressible in strict first order. Merge.kif 14383-14390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18706-18722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24076-24085
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 29690-29704
No TPTP formula. May not be expressible in strict first order. Merge.kif 10975-10988
No TPTP formula. May not be expressible in strict first order. Merge.kif 10933-10946
No TPTP formula. May not be expressible in strict first order. Merge.kif 10912-10925
No TPTP formula. May not be expressible in strict first order. Merge.kif 8767-8772
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 16717-16729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16698-16710
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 18229-18246 ?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