(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	increasesLikelihood è un' istanza di RelazioneNonRiflessiva
(instance inverse IrreflexiveRelation)	Merge.kif 107-107	inverse è un' istanza di RelazioneNonRiflessiva
(instance larger IrreflexiveRelation)	Merge.kif 7750-7750	larger è un' istanza di RelazioneNonRiflessiva
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833	lessThan è un' istanza di RelazioneNonRiflessiva
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728	manner è un' istanza di RelazioneNonRiflessiva
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9571-9571	meetsSpatially è un' istanza di RelazioneNonRiflessiva
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17299-17299	modalAttribute è un' istanza di RelazioneNonRiflessiva
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6664-6664	neighbor è un' istanza di RelazioneNonRiflessiva
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22765-22765	operator è un' istanza di RelazioneNonRiflessiva
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18125-18125	oppositeDirection è un' istanza di RelazioneNonRiflessiva
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	overlapsPartially è un' istanza di RelazioneNonRiflessiva
(instance prevents IrreflexiveRelation)	Merge.kif 4365-4365	prevents è un' istanza di RelazioneNonRiflessiva
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4335-4335	preventsSubclass è un' istanza di RelazioneNonRiflessiva
(instance sibling IrreflexiveRelation)	Merge.kif 16464-16464	sibling è un' istanza di RelazioneNonRiflessiva
(instance sister IrreflexiveRelation)	Merge.kif 16509-16509	sister è un' istanza di RelazioneNonRiflessiva
(instance smaller IrreflexiveRelation)	Merge.kif 7772-7772	smaller è un' istanza di RelazioneNonRiflessiva
(instance spouse IrreflexiveRelation)	Merge.kif 16559-16559	spouse è un' istanza di RelazioneNonRiflessiva
(instance starts IrreflexiveRelation)	Merge.kif 8035-8035	starts è un' istanza di RelazioneNonRiflessiva
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21341-21341	subField è un' istanza di RelazioneNonRiflessiva
(instance subPlan IrreflexiveRelation)	Merge.kif 4656-4656	subPlan è un' istanza di RelazioneNonRiflessiva
(instance subProposition IrreflexiveRelation)	Merge.kif 4635-4635	subProposition è un' istanza di RelazioneNonRiflessiva
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	successorAttributeClosure è un' istanza di RelazioneNonRiflessiva
(instance superficialPart IrreflexiveRelation)	Merge.kif 9651-9651	superficialPart è un' istanza di RelazioneNonRiflessiva
(instance wife IrreflexiveRelation)	Merge.kif 16580-16580	wife è un' istanza di RelazioneNonRiflessiva
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2274-2274	RelazioneAsimmetrica è una sottoclasse di RelazioneNonRiflessiva
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