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 3919-3921
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 3916-3916 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 3917-3917 The number 3 argument of capability is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 3915-3915 The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3914-3914 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 13029-13029
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 13028-13028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13027-13027
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 1946-1957
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. Merge.kif 3931-3941
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 157-176
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3787-3795
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 1212-1218
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3223-3232
No TPTP formula. May not be expressible in strict first order. Government.kif 1014-1022
No TPTP formula. May not be expressible in strict first order. Government.kif 1002-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 942-950
No TPTP formula. May not be expressible in strict first order. Government.kif 930-940
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. Mid-level-ontology.kif 12522-12527
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1894-1899
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 152-155
No TPTP formula. May not be expressible in strict first order. Law.kif 390-394

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1611-1617 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 603-608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12016-12027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12003-12014
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4248-4252
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4203-4227
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1946-1957
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 3547-3552
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3540-3545
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2494-2498
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3492-3506
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 12164-12176
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. Transportation.kif 4180-4193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1634-1653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1612-1630
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3780-3785
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 10890-10903

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 1054-1065 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