Human
|
|
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 | %每個 VocalCords 是 Human 的 initially 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 typically 是 Human 的 part |
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 |
statement |