Alone
|
|
appearance as argument number 1 |
(documentation Alone EnglishLanguage "A state of being without another AutonomousAgent present.") | Mid-level-ontology.kif 30209-30209 | |
(instance Alone RelationalAttribute) | Mid-level-ontology.kif 30208-30208 | Alone e' uma instancia de Atributo Relacional |
appearance as argument number 2 |
(termFormat EnglishLanguage Alone "Alone") | domainEnglishFormat.kif 64427-64427 |
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 30211-30224 | 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 |