No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23239-23239	The number 3 argument of plays role in event is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4367-4367	The number 1 argument of prevents is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4597-4597	The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3768-3768	The number 1 argument of related event is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3769-3769	The number 2 argument of related event is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2511-2511	The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2530-2530	The number 1 argument of resource exhausted is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2551-2551	The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1682-1682	The number 1 argument of result type is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3752-3752	The number 1 argument of sub process is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3753-3753	The number 2 argument of sub process is an instance of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4386-4386	The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29580-29580	The number 1 argument of suffers is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6790-6790	The number 1 argument of target in attack is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18395-18395	The number 2 argument of Department of preventing fn is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	The number 1 argument of InjuryCausedFn is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6321	The number 1 argument of measuring a process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 597-597	The number 2 argument of activity capability is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22929-22929	The number 2 argument of area of responsibility is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 915-915	The number 3 argument of biochemical agent antidote is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 783-783	The number 2 argument of biochemical agent delivery is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3902-3902	The number 1 argument of capability is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 917-917	The number 1 argument of capable during is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2687-2687	The number 1 argument of capable at location is a subclass of process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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