Sigma KB Term Intersection

(=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS))	Merge.kif 200-205	Relazione è una sottorelazione di Relazione Relazione è un' istanza di Classe Classe è una sottoclasse di InheritableRelation Relazione è un' istanza di Classe
(subclass InheritableRelation Relation)	Merge.kif 2558-2558	InheritableRelation è una sottoclasse di Relazione
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2177-2177	RelazioneMonovalente è una sottoclasse di InheritableRelation
(subclass TotalValuedRelation InheritableRelation)	Merge.kif 2195-2195	RelazioneAValoreTotale è una sottoclasse di InheritableRelation
(subclass BinaryRelation InheritableRelation)	Merge.kif 2233-2233	RelazioneBinaria è una sottoclasse di InheritableRelation
(subclass CaseRole InheritableRelation)	Merge.kif 2401-2401	RuoloSemantico è una sottoclasse di InheritableRelation
(subclass ProbabilityRelation InheritableRelation)	Merge.kif 2565-2565	RelazioneDiProbabilit� è una sottoclasse di InheritableRelation
(subclass SpatialRelation InheritableRelation)	Merge.kif 2657-2657	RelazioneSpaziale è una sottoclasse di InheritableRelation
(subclass TemporalRelation InheritableRelation)	Merge.kif 2664-2664	RelazioneTemporale è una sottoclasse di InheritableRelation
(subclass IntentionalRelation InheritableRelation)	Merge.kif 2670-2670	IntentionalRelation è una sottoclasse di InheritableRelation
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2696-2696	AtteggiamentoProposizionale è una sottoclasse di InheritableRelation
(subclass ObjectAttitude InheritableRelation)	Merge.kif 2709-2709	AtteggiamentoOggettuale è una sottoclasse di InheritableRelation
(subclass TernaryRelation InheritableRelation)	Merge.kif 2855-2855	RelazioneTernaria è una sottoclasse di InheritableRelation
(subclass QuaternaryRelation InheritableRelation)	Merge.kif 2862-2862	RelazioneQuaternaria è una sottoclasse di InheritableRelation
(subclass QuintaryRelation InheritableRelation)	Merge.kif 2869-2869	RelazioneQuinquenaria è una sottoclasse di InheritableRelation
(subclass Predicate InheritableRelation)	Merge.kif 3340-3340	Predicato è una sottoclasse di InheritableRelation
(subclass Function InheritableRelation)	Merge.kif 3351-3351	Funzione è una sottoclasse di InheritableRelation
(subclass UnaryFunction InheritableRelation)	Merge.kif 3360-3360	FunzioneUnaria è una sottoclasse di InheritableRelation
(subclass BinaryFunction InheritableRelation)	Merge.kif 3400-3400	FunzioneBinaria è una sottoclasse di InheritableRelation
(subclass TernaryFunction InheritableRelation)	Merge.kif 3452-3452	FunzioneTernaria è una sottoclasse di InheritableRelation
(subclass QuaternaryFunction InheritableRelation)	Merge.kif 3463-3463	FunzioneQuaternaria è una sottoclasse di InheritableRelation
(subclass BinaryPredicate InheritableRelation)	Merge.kif 3480-3480	PredicatoBinario è una sottoclasse di InheritableRelation
(subclass TernaryPredicate InheritableRelation)	Merge.kif 3491-3491	PredicatoTernario è una sottoclasse di InheritableRelation
(subclass QuaternaryPredicate InheritableRelation)	Merge.kif 3502-3502	PredicatoQuaternario è una sottoclasse di InheritableRelation
(subclass QuintaryPredicate InheritableRelation)	Merge.kif 3513-3513	PredicatoQuinquenario è una sottoclasse di InheritableRelation
(subclass RelationExtendedToQuantities InheritableRelation)	Merge.kif 3534-3534	RelazioneEstesaAQuantit� è una sottoclasse di InheritableRelation

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