exists |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65827-65827 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1124-1138 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18246 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6100-6107 | Chemin du graph chemin du graph chemin du graph est une instance de l' ensemble de chemins qui partitionnent graph en deux graph s�par� chemin du graph est une instance de l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� la longueur de chemin du graph est nombre entier positif la longueur de chemin du graph est nombre entier positif nombre entier positif est moins que nombre entier positif |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4559-4564 | Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4566-4569 | Processus processus est une instance de FilmMaking processus est un agent de Netflix |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | Agent cognitif NewReporter est un attribut de agent cognitif ProPublica emploie agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | Meal r�gion MealAttributeFn Meal and r�gion est un attribut de Meal |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | Position temporel position temporel est une instance de l' ann�e 1976 coworker SteveJobsOfApple and SteveWozniakOfApple pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | Position temporel position temporel est une instance de l' ann�e 2002 coworker SteveJobsOfApple and TimCookOfApple pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5094-5097 | Objet objet est une sous-classe de HandToolBox manufacturer objet and SortimoCorp |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 825-826 | Entit� entit� est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� |