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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasSkill

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 3983-3985
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 752-753
No TPTP formula. May not be expressible in strict first order. Merge.kif 3981-3981 有技能 的 2 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3980-3980 有技能 的 1 数量 是 过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3979-3979 有技能非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3978-3978 有技能二元谓语instance

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. french_format.kif 81-81
No TPTP formula. May not be expressible in strict first order. relations-it.txt 126-126
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1908-1908
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 33-33
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 122-122
No TPTP formula. May not be expressible in strict first order. relations-de.txt 139-139
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 166-166
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 100-100
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 80-80
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 258-258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27558-27558
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 27557-27557
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. terms-de.txt 41-41
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 259-259

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3987-3989

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15000-15004 识字属性 施事体attribute 若且唯若 那个 施事体 hasSkill 去做 朗读那个 施事体 hasSkill 去做 写作
No TPTP formula. May not be expressible in strict first order. Sports.kif 1357-1361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22193-22197
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 59-63
No TPTP formula. May not be expressible in strict first order. Biography.kif 634-638
No TPTP formula. May not be expressible in strict first order. Biography.kif 643-645
No TPTP formula. May not be expressible in strict first order. Sports.kif 392-394
No TPTP formula. May not be expressible in strict first order. Sports.kif 396-398
No TPTP formula. May not be expressible in strict first order. Sports.kif 400-402
No TPTP formula. May not be expressible in strict first order. Sports.kif 424-426
No TPTP formula. May not be expressible in strict first order. Sports.kif 404-406
No TPTP formula. May not be expressible in strict first order. Sports.kif 412-414
No TPTP formula. May not be expressible in strict first order. Sports.kif 408-410
No TPTP formula. May not be expressible in strict first order. Sports.kif 416-418
No TPTP formula. May not be expressible in strict first order. Sports.kif 420-422
No TPTP formula. May not be expressible in strict first order. Sports.kif 428-430
No TPTP formula. May not be expressible in strict first order. Sports.kif 432-434
No TPTP formula. May not be expressible in strict first order. Sports.kif 498-500
No TPTP formula. May not be expressible in strict first order. Sports.kif 436-438
No TPTP formula. May not be expressible in strict first order. Sports.kif 1377-1379
No TPTP formula. May not be expressible in strict first order. Sports.kif 440-442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20785-20787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20929-20931
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18810-18812
No TPTP formula. May not be expressible in strict first order. Music.kif 1414-1417

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