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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3775-3777
No TPTP formula. May not be expressible in strict first order. Merge.kif 3772-3772 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 3773-3773 The number 3 argument of capability is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 3771-3771 The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3770-3770 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. domainEnglishFormat.kif 13030-13030
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 13029-13029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13028-13028

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1897-1908
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-171
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2927-2935
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4445-4468
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4667-4678
No TPTP formula. May not be expressible in strict first order. Government.kif 1236-1242
No TPTP formula. May not be expressible in strict first order. Government.kif 1038-1046
No TPTP formula. May not be expressible in strict first order. Government.kif 1026-1036
No TPTP formula. May not be expressible in strict first order. Government.kif 966-974
No TPTP formula. May not be expressible in strict first order. Government.kif 954-964
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 3787-3793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9566-9571
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1845-1850
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 427-431

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1509-1515 An entity is an instance of LegalAgent 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 578-583
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1897-1908
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 3544-3548
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3538-3542
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2418-2422
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3489-3503
No TPTP formula. May not be expressible in strict first order. Dining.kif 487-491
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1798-1813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1780-1794
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2920-2925
No TPTP formula. May not be expressible in strict first order. naics.kif 7249-7264
No TPTP formula. May not be expressible in strict first order. naics.kif 7607-7625
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 410-414
No TPTP formula. May not be expressible in strict first order. Dining.kif 534-538
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2927-2935
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 3779-3785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6997-7011
No TPTP formula. May not be expressible in strict first order. Merge.kif 12639-12653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27588-27594
No TPTP formula. May not be expressible in strict first order. WMD.kif 51-55

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 1078-1089 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law


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