and |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7410-7410 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7409-7409 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7408-7408 |
antecedent |
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. | Government.kif 1205-1212 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 887-895 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1056-1067 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
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. | WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
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. | Military.kif 863-872 | 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 886-897 | 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 31766-31771 | OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31744-31749 | 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 924-937 | 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. | 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. | 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. | 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� |
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. | Media.kif 2501-2504 | Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
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 |