| Alone | |
| appearance as argument number 1 |
|
|
| (documentation Alone EnglishLanguage "A state of being without another Agent present.") | Mid-level-ontology.kif 28367-28367 | |
| (instance Alone RelationalAttribute) | Mid-level-ontology.kif 28366-28366 | instance Alone and RelationalAttribute |
| antecedent |
|
|
| (<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 Agent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 28369-28382 | holdsDuring TimeInterval and attribute Entity and Alone Entity Process equal Entity and Entity instance Entity and Agent instance Process and SocialInteraction during WhenFn Process and TimeInterval involvedInEvent Process and Entity involvedInEvent Process and Entity |
|
|
|