(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (names "Montenegro" Montenegro)))	Media.kif 2533-2536	PosizioneTemporale è un' istanza di il giorno 3 names "Montenegro" and Montenegro vales durante dopo PosizioneTemporale
(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (not             (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2546-2550	PosizioneTemporale è un' istanza di il giorno 3 SerbiaAndMontenegro è un' istanza di IndependentState vales durante dopo PosizioneTemporale
(holdsDuring     (ImmediateFutureFn ?T)     (and         (instance ?T             (DayFn 1                 (MonthFn October                     (YearFn 1992))))         (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2791-2794	PosizioneTemporale è un' istanza di il giorno 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vales durante immediatamente dopo PosizioneTemporale
(holdsDuring     (ImmediateFutureFn ?TIME)     (and         (instance ?TIME             (YearFn 1996))         (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	Government.kif 2765-2769	PosizioneTemporale è un' istanza di l' anno 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vales durante immediatamente dopo PosizioneTemporale
(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 biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS è un' istanza di ?PROCESSTYPE ?ORGANISM esperisces ?PROCESS aumentas la verosimiglianza di attribute ?ORGANISM and ?SYMPTOM
(not     (and         (hasGUEState ?WINDOW GUE_NonVisibleState)         (hasGUEState ?WINDOW GUE_ActiveState)         (instance ?WINDOW InterfaceWindow)))	ComputerInput.kif 2011-2015	~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement è un' istanza di InterfaceWindow }
(not     (and         (instance ?CURSOR Cursor)         (hasGUEState ?CURSOR GUE_SelectedState)))	ComputerInput.kif 2226-2229	~{ GUIElement è un' istanza di Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not     (and         (instance ?CURSOR MouseCursor)         (hasGUEState ?CURSOR GUE_ActiveState)))	ComputerInput.kif 1952-1955	~{ GUIElement è un' istanza di MouseCursor } ~{ 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	CamminoDelGrafo CamminoDelGrafo CamminoDelGrafo è un' istanza di l' insieme di cammini che partiziona Grafo in due grafi separati CamminoDelGrafo è un' istanza di l' insieme di cammini minimi che partiziona Grafoin due separati grafi la lunghezza di CamminoDelGrafo è NumeroInteroPositivo la lunghezza di CamminoDelGrafo è NumeroInteroPositivo NumeroInteroPositivo è meno di NumeroInteroPositivo

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners