No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2765-2769	A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ A GUI element has state GUE non visible state } or ~{ the GUI element has state GUE active state } or ~{ the GUI element is an instance of interface window }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active state }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6099-6106	There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer

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