No TPTP formula. May not be expressible in strict first order.	Merge.kif 4089-4089	eventPartlyLocated e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Law.kif 169-169	evidence e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	experiencer e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15720-15720	experimentalControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3911-3911	experimentalSubject e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3940-3940	experimenter e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23430-23430	gainsControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	instrument e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 21-21	invadingVirus e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Law.kif 190-190	judge e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23444-23444	losesControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10999-10999	moves e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12398-12398	objectAttached e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12446-12446	objectDetached e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11352-11352	objectTransferred e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2480-2480	origin e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30748-30748	passenger e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11092-11092	path e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	patient e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Law.kif 270-270	perpetrator e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16272-16272	plaintiff e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1691-1691	plays e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Law.kif 308-308	prosecutor e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	reactant e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8805-8805	reagent e' uma instancia de Role em Caso
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