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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Likely

Sigma KEE - Likely
Likely(容易)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17525-17525 容易较不可能 的相反
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3917-3918
No TPTP formula. May not be expressible in strict first order. Merge.kif 17526-17527
No TPTP formula. May not be expressible in strict first order. Merge.kif 17524-17524 容易概率属性instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34397-34397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34396-34396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34395-34395

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 17529-17531

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089
No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
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. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Merge.kif 18446-18451
No TPTP formula. May not be expressible in strict first order. Merge.kif 18429-18434
No TPTP formula. May not be expressible in strict first order. Merge.kif 18463-18468
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Economy.kif 5284-5291
No TPTP formula. May not be expressible in strict first order. Economy.kif 5409-5416
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. Merge.kif 18225-18235
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. ComputingBrands.kif 3231-3245
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30662-30683
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2763-2777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4411-4425
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2230-2239
No TPTP formula. May not be expressible in strict first order. emotion.kif 1945-1958
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10055-10078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10025-10046

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