Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Alone(Alone) |  | alone, lone, lonely, solitary, solo, unaccompanied |
| appearance as argument number 1 |
|
|
| (instance Alone RelationalAttribute) | Mid-level-ontology.kif 32854-32854 | Alone is an instance of relational attribute |
| (documentation Alone EnglishLanguage "A state of being without another AutonomousAgent present.") | Mid-level-ontology.kif 32855-32855 | Alone is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Alone "Alone") | domainEnglishFormat.kif 64430-64430 |
| 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 32857-32870 | All of the following hold: (1) Alone is an attribute of X holds during Y if (2) only if there don't exist Z (3) W such that equal X (4) Z (5) Z is an instance of agent (6) W is an instance of social interaction (7) the time of existence of W takes place during Y (8) X is an involved in event of W (9) Z is an involved in event of W |
|