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 | Humain est compl�tement d�compos� en Man + Woman |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14644-14644 | Humain est une sous-classe de agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14643 | Humain est une sous-classe de hominid� |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1586-1586 | biologicalAgentCarrier BordetellaPertussis and humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20018-20018 | DomesticAnimal est disjoint de humain |
No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | Organisation est disjoint de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 793-793 | initialPart VocalCords and humain |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2447-2447 | SteveJobsOfApple est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2459-2459 | SteveWozniakOfApple est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2435-2435 | TimCookOfApple est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 185-185 | HumanAdult est une sous-classe de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 248-248 | HumanYouth est une sous-classe de humain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14649-14649 | Man est une sous-classe de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 320-320 | Teenager est une sous-classe de humain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14656-14656 | Woman est une sous-classe de humain |
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 | typicalPart VocalCords and humain |
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 humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1658-1658 | connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 986-986 | connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1465-1465 | connectedBodyPartTypes AfferentArteriole, InterlobularArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 252-252 | connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 257-257 | connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 267-267 | connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 262-262 | connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1016-1016 | connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 820-820 | connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1169-1169 | connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 79-79 | connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 73-73 | connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1885-1885 | connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1880-1880 | connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 795-795 | connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1863-1863 | connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1873-1873 | connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1148-1148 | connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 371-371 | connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 366-366 | connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 164-164 | connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and humain |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1454-1454 | connectedBodyPartTypes ArcuateArtery, InterlobarArtery and humain |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1565-1565 | connectedBodyPartTypes AuditoryCanal, TympanicCavity and humain |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1615-1615 | connectedBodyPartTypes Auricle, AuditoryCanal and humain |
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 | accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel |
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 |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | Nourriture est FoodForFn humain |