(=>     (instance ?S Soccer)     (exists (?A ?B ?M1 ?M2)         (and             (instance ?A GroupOfPeople)             (memberCount ?A 11)             (instance ?B GroupOfPeople)             (memberCount ?B 11)             (not                 (equal ?A ?B))             (member ?M1 ?A)             (member ?M1 ?B)             (enemy ?M1 ?M2))))	Sports.kif 163-175	Entidade e' uma instancia de Soccer Colecao Colecao, AutonomousAgent and AutonomousAgent Colecao e' uma instancia de GroupOfPeople memberCount Colecao and 11 Colecao e' uma instancia de GroupOfPeople memberCount Colecao and 11 Colecao e' igual a Colecao AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao enemy AutonomousAgent and AutonomousAgent
(=>     (instance ?X HighRise)     (exists (?LEVELS ?NUM)         (and             (instance ?LEVELS Collection)             (forall (?FLR)                 (=>                     (and                         (instance ?FLR BuildingLevel)                         (part ?FLR ?X))                     (member ?FLR ?LEVELS)))             (memberCount ?LEVELS ?NUM)             (greaterThanOrEqualTo ?NUM 10))))	Mid-level-ontology.kif 26496-26508	Objeto e' uma instancia de HighRise Colecao Numero Inteiro Colecao e' uma instancia de Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Objeto Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro Numero Inteiro e' maior ou igual a 10
(=>     (instance ?X Tennis)     (exists (?T1 ?T2)         (and             (contestParticipant ?X ?T1)             (contestParticipant ?X ?T2)             (not                 (equal ?T1 ?T2))             (or                 (instance ?T1 Human)                 (and                     (instance ?T1 GroupOfPeople)                     (memberCount ?T1 2)))             (or                 (instance ?T2 Human)                 (and                     (instance ?T2 GroupOfPeople)                     (memberCount ?T2 2))))))	Sports.kif 857-873	Contest e' uma instancia de Tennis AutonomousAgent AutonomousAgent contestParticipant Contest and AutonomousAgent contestParticipant Contest and AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople memberCount AutonomousAgent and 2 AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople memberCount AutonomousAgent and 2
(=>     (memberTypeCount ?GROUP ?TYPE ?NUMBER)     (exists (?SUBGROUP)         (and             (subCollection ?SUBGROUP ?GROUP)             (memberCount ?SUBGROUP ?NUMBER)             (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22670-22676	memberTypeCount Colecao, Classe and Numero Inteiro nao-negativo Colecao Colecao e' uma sub-colecao de Colecao memberCount Colecao and Numero Inteiro nao-negativo memberType Colecao and Classe
(=>     (numberOfFloors ?BLDG ?NUM)     (exists (?FLOORS)         (and             (forall (?X)                 (=>                     (and                         (instance ?X BuildingLevel)                         (part ?X ?BLDG))                     (member ?X ?FLOORS)))             (memberCount ?FLOORS ?NUM))))	Hotel.kif 705-715	numberOfFloors Predio and Numero Inteiro Colecao Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma &parte de Predio Objeto e' membro de Colecao memberCount Colecao and Numero Inteiro

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