Alone
|
|
appearance as argument number 1 |
(documentation Alone EnglishLanguage "A state of being without another AutonomousAgent present.") | Mid-level-ontology.kif 30245-30245 | |
(instance Alone RelationalAttribute) | Mid-level-ontology.kif 30244-30244 | Alone e' uma instancia de Atributo Relacional |
appearance as argument number 2 |
(termFormat EnglishLanguage Alone "Alone") | domainEnglishFormat.kif 64429-64429 |
antecedent |
(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 AutonomousAgent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 30247-30260 | Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2 |