| Alone | |
| appearance as argument number 1 |
|
|
| (documentation Alone EnglishLanguage "A state of being without another Agent present.") | Mid-level-ontology.kif 28403-28403 | |
| (instance Alone RelationalAttribute) | Mid-level-ontology.kif 28402-28402 | 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 28405-28418 | 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 |
|
|
|