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 15721-15721	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 23431-23431	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 23445-23445	losesControl e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10977-10977	moves e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12376-12376	objectAttached e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12424-12424	objectDetached e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11330-11330	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 30760-30760	passenger e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11070-11070	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 16273-16273	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 8799-8799	reactant e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8806-8806	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