instance |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (names "Montenegro" Montenegro))) |
Media.kif 2533-2536 | TimePosition ist ein fall von der tag 3 %n{nicht} und names "Montenegro" and Montenegro haelt waehrend nach ** TimePosition %n{nicht} |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2546-2550 | TimePosition ist ein fall von der tag 3 %n{nicht} und SerbiaAndMontenegro ist ein fall von IndependentState nicht haelt waehrend nach ** TimePosition %n{nicht} |
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2791-2794 | TimePosition ist ein fall von der tag 1 %n{nicht} und conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations haelt waehrend sofort nach ** TimePosition %n{nicht} |
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity))) |
Government.kif 2765-2769 | TimePosition ist ein fall von das jahr 1996 %n{nicht} und conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity haelt waehrend sofort nach ** TimePosition %n{nicht} |
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE und ?PROCESS ist ein fall von ?PROCESSTYPE %n{nicht} und ?ORGANISM erfaehrt ?PROCESS %n{nicht} vergroessert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht} |
(not (and (hasGUEState ?WINDOW GUE_NonVisibleState) (hasGUEState ?WINDOW GUE_ActiveState) (instance ?WINDOW InterfaceWindow))) |
ComputerInput.kif 2011-2015 | ~{ hasGUEState GUIElement and GUE_NonVisibleState } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } oder ~{ ** GUIElement ist ein fall von InterfaceWindow %n{nicht} } |
(not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | ~{ GUIElement ist ein fall von Cursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_SelectedState } |
(not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 | ~{ GUIElement ist ein fall von MouseCursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } |
(not (exists (?PATH1 ?PATH2) (and (instance ?PATH1 (CutSetFn ?GRAPH)) (instance ?PATH2 (MinimalCutSetFn ?GRAPH)) (pathLength ?PATH1 ?NUMBER1) (pathLength ?PATH2 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))) |
Merge.kif 6099-6106 | Es gibt nicht GraphPath und ** GraphPath um ** GraphPath ist ein fall von die menge von Pfaden die Graph in zwei verschiedene Graphen schnitten %n{nicht} und ** ** GraphPath ist ein fall von die menge von minimalen Pfaden die ** Graph in zwei verschiedene Graphen schnitten %n{nicht} und die laenge von ** GraphPath ist PositiveInteger %n{nicht} und die laenge von ** ** GraphPath ist ** PositiveInteger %n{nicht} und ** PositiveInteger ist kleinerAls ** ** PositiveInteger %n{nicht} |