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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Human

Sigma KEE - Human
Human
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3438-3438
No TPTP formula. May not be expressible in strict first order. Merge.kif 14646-14647
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 259-259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3116-3116
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 257-257
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 258-258
No TPTP formula. May not be expressible in strict first order. Merge.kif 14645-14645 劃分 Human, and 女人
No TPTP formula. May not be expressible in strict first order. Merge.kif 14644-14644 子類 Human and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14643 子類 Human and Hominid

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1586-1586 Human百日咳博德特氏菌 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20018-20018 不相交的 家畜 and Human
No TPTP formula. May not be expressible in strict first order. Media.kif 35-35 不相交的 Organization and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 793-793 %每個 VocalCordsHumaninitially part
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2447-2447 史蒂芬·賈伯斯 and Human
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2459-2459 斯蒂夫·沃茲尼亞克 and Human
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2435-2435 提姆·庫克 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 185-185 子類 人類成人 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 248-248 子類 人類青年 and Human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14649 子類 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 320-320 子類 青少年 and Human
No TPTP formula. May not be expressible in strict first order. Merge.kif 14656-14656 子類 女人 and Human
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1002-1002
No TPTP formula. May not be expressible in strict first order. english_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order. french_format.kif 679-679
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 210-210
No TPTP formula. May not be expressible in strict first order. terms-it.txt 213-213
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2363-2363
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 631-631
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 215-215
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 247-247
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 700-700
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 791-791 VocalCords typicallyHumanpart

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. arteries.kif 1280-1280 connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1658-1658 connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 986-986 connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1465-1465 connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 252-252 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 257-257 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 267-267 connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 262-262 connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1016-1016 connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 820-820 connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1169-1169 connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 79-79 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 73-73 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1885-1885 connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1880-1880 connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 795-795 connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1863-1863 connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1873-1873 connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1148-1148 connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 371-371 connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 366-366 connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 164-164 connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Human
No TPTP formula. May not be expressible in strict first order. arteries.kif 1454-1454 connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Human
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1565-1565 connectedBodyPartTypes AuditoryCanal, TympanicCavity and Human
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1615-1615 connectedBodyPartTypes Auricle, AuditoryCanal and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 CognitiveAgent 持有 account 金融賬戶 CognitiveAgent and Human 金融賬戶 and 個人賬戶
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 持有期間 TimePosition and entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
No TPTP formula. May not be expressible in strict first order. Biography.kif 223-230
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1923-1939
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7562-7569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25035-25044
No TPTP formula. May not be expressible in strict first order. Government.kif 1789-1795
No TPTP formula. May not be expressible in strict first order. Government.kif 1797-1803
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12848-12854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 286-292
No TPTP formula. May not be expressible in strict first order. Merge.kif 12212-12217
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3923-3934
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 285-296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6161-6169
No TPTP formula. May not be expressible in strict first order. Medicine.kif 686-694
No TPTP formula. May not be expressible in strict first order. Medicine.kif 651-659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 219-225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 269-274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 392-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
No TPTP formula. May not be expressible in strict first order. Medicine.kif 519-530

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 and Integer 等於 GeopoliticalArea 每一千裡的 deaths and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 and Integer 等於 GeopoliticalArea 每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 年齡 entity and 測量 entity and 年持續時間 少於 entity and 1 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 and Integer 等於 GeopoliticalArea 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 and Integer 等於 GeopoliticalArea 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 Entity and Integer 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 等於 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 等於 GeopoliticalAreamale 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30120-30127
No TPTP formula. May not be expressible in strict first order. Merge.kif 17244-17248
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30104-30112
No TPTP formula. May not be expressible in strict first order. Economy.kif 4195-4204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2579-2583
No TPTP formula. May not be expressible in strict first order. Government.kif 4582-4590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7997-8001
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2663-2669
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2534-2538
No TPTP formula. May not be expressible in strict first order. Merge.kif 16238-16242
No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Weather.kif 1579-1592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17370-17374
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 381-388

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. People.kif 456-469 and Integer 等於 GeopoliticalArea 每個女人生的 children and 基數 卡帕 SymbolicString and entity and Birth 體驗者 entity and SymbolicString agent entity and entity entity and Human attribute entity and 持有期間 and 棲息 entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 等於 GeopoliticalAreaavailable 軍事服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 等於 GeopoliticalAreafit 對於軍服務男性 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and 子類 entity and MilitaryProcess entity SymbolicStringfit 軍事服務 entity GeopoliticalAreamilitary 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31712-31717 等於 GeopoliticalAreapopulation and 基數 卡帕 SymbolicString and SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 等於 GeopoliticalArea 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and SymbolicString and Human attribute SymbolicString and entity GeopoliticalAreamilitary 年紀 等於 entity and 減法 entity and 1 持有期間 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14873-14873 等於 Food and food for Human


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