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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capability

Sigma KEE - capability
capability

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2086-2087
No TPTP formula. May not be expressible in strict first order. Merge.kif 3906-3908
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 734-735
No TPTP formula. May not be expressible in strict first order. Merge.kif 3903-3903 The number 2 argument of capability is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 3904-3904 The number 3 argument of capability is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 3902-3902 The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3901-3901 capability is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order. english_format.kif 67-67
No TPTP formula. May not be expressible in strict first order. french_format.kif 59-59
No TPTP formula. May not be expressible in strict first order. relations-it.txt 40-40
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1882-1882
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 11-11
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 74-74
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order. relations-de.txt 74-74
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 78-78
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 58-58
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 96-96
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13020-13020
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 68-68
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13019-13019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13018-13018
No TPTP formula. May not be expressible in strict first order. terms-de.txt 19-19
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 97-97

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 134-143
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2957
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4241-4267
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4467-4480
No TPTP formula. May not be expressible in strict first order. Government.kif 1250-1256
No TPTP formula. May not be expressible in strict first order. Government.kif 1052-1060
No TPTP formula. May not be expressible in strict first order. Government.kif 1040-1050
No TPTP formula. May not be expressible in strict first order. Government.kif 980-988
No TPTP formula. May not be expressible in strict first order. Government.kif 968-978
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 35-43
No TPTP formula. May not be expressible in strict first order. Merge.kif 3918-3924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11196
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1888
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 148-151
No TPTP formula. May not be expressible in strict first order. Law.kif 384-388

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order. Hotel.kif 599-604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10685-10696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10672-10683
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3552-3557
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3545-3550
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2477-2481
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. Dining.kif 532-536
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12026
No TPTP formula. May not be expressible in strict first order. WMD.kif 1029-1033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2947
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Dining.kif 437-441
No TPTP formula. May not be expressible in strict first order. Dining.kif 579-584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9561-9574
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2957
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. Merge.kif 3910-3916

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. Government.kif 1092-1103 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law


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