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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasSkill
hasSkill

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2101-2102
No TPTP formula. May not be expressible in strict first order. Merge.kif 3852-3854
No TPTP formula. May not be expressible in strict first order. Merge.kif 3850-3850 The number 2 argument of has skill is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 3849-3849 The number 1 argument of has skill is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3848-3848 has skill is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3847-3847 has skill is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order. english_format.kif 119-120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27556-27556
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 120-120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27555-27555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27554-27554

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3856-3858

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12729-12733 Literacy attribute is an attribute of an agent if and only if the agent the skill to do reading and the agent the skill to do writing
No TPTP formula. May not be expressible in strict first order. Sports.kif 1209-1213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20046-20050
No TPTP formula. May not be expressible in strict first order. Biography.kif 396-400
No TPTP formula. May not be expressible in strict first order. Biography.kif 405-407
No TPTP formula. May not be expressible in strict first order. Sports.kif 278-280
No TPTP formula. May not be expressible in strict first order. Sports.kif 282-284
No TPTP formula. May not be expressible in strict first order. Sports.kif 286-288
No TPTP formula. May not be expressible in strict first order. Sports.kif 310-312
No TPTP formula. May not be expressible in strict first order. Sports.kif 290-292
No TPTP formula. May not be expressible in strict first order. Sports.kif 298-300
No TPTP formula. May not be expressible in strict first order. Sports.kif 294-296
No TPTP formula. May not be expressible in strict first order. Sports.kif 302-304
No TPTP formula. May not be expressible in strict first order. Sports.kif 306-308
No TPTP formula. May not be expressible in strict first order. Sports.kif 314-316
No TPTP formula. May not be expressible in strict first order. Sports.kif 318-320
No TPTP formula. May not be expressible in strict first order. Sports.kif 384-386
No TPTP formula. May not be expressible in strict first order. Sports.kif 322-324
No TPTP formula. May not be expressible in strict first order. Sports.kif 1229-1231
No TPTP formula. May not be expressible in strict first order. Sports.kif 326-328
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 53-55
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18472-18474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18631-18633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16513-16515
No TPTP formula. May not be expressible in strict first order. Music.kif 1406-1409

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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