instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo 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 e' uma instancia de InterfaceWindow } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2226-2229 | ~{ GUIElement e' uma instancia de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState } |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1952-1955 | ~{ GUIElement e' uma instancia de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState } |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6099-6106 | Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo |