and |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Position temporel est une instance de le jour 3 Montenegro s'appele nom "Montenegro" pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Position temporel est une instance de l' ann�e 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity pendant immediatement apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2011-2015 | ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement est une instance de InterfaceWindow } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2226-2229 | ~{ GUIElement est une instance de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1952-1955 | ~{ GUIElement est une instance de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState } |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6099-6106 | 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 |