Sigma KB Term Intersection

(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2692-2701	Wenn Process ist eine teilkategorie von Process und Process ist ein fall von Process %n{nicht} und eventLocated Process and Region und CaseRole ist ein fall von CaseRole %n{nicht} und Object ist ein fall von Object %n{nicht} und Region ist ein fall von GeographicArea %n{nicht} und CaseRole Process and Object, dann capableAtLocation Process, CaseRole, Object and ** Region
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2))	Merge.kif 3910-3916	Wenn CaseRole ist ein fall von CaseRole %n{nicht} und CaseRole Entity and Object und Entity ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process, dann Object ist faehig %n{nicht}, in der Rolle CaseRole Process zu tun
(subclass CaseRole BinaryPredicate)	Merge.kif 2400-2400	CaseRole ist eine teilkategorie von BinaryPredicate
(subclass CaseRole InheritableRelation)	Merge.kif 2401-2401	CaseRole ist eine teilkategorie von InheritableRelation
(subclass CaseRole AsymmetricRelation)	Merge.kif 2402-2402	CaseRole ist eine teilkategorie von AsymmetricRelation

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