Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| home |
| appearance as argument number 1 |
|
| (subrelation home inhabits) | Merge.kif 14696-14696 | home is a subrelation of inhabits |
| (instance home BinaryPredicate) | Merge.kif 14697-14697 | home is an instance of binary predicate |
| (domain home 1 Human) | Merge.kif 14698-14698 | The number 1 argument of home is an instance of human |
| (domain home 2 PermanentResidence) | Merge.kif 14699-14699 | The number 2 argument of home is an instance of permanent residence |
| (documentation home EnglishLanguage "The relation between a Human and a PermanentResidence of the Human.") | Merge.kif 14700-14701 | The number 2 argument of home is an instance of permanent residence |
| appearance as argument number 2 |
|
|
| (disjointRelation stays home) | Merge.kif 14705-14705 | stays and home are disjoint |
| (termFormat EnglishLanguage home "home") | domainEnglishFormat.kif 28427-28427 | stays and home are disjoint |
| (termFormat ChineseTraditionalLanguage home "家") | domainEnglishFormat.kif 28428-28428 | stays and home are disjoint |
| (termFormat ChineseLanguage home "家") | domainEnglishFormat.kif 28429-28429 | stays and home are disjoint |
| (format EnglishLanguage home "the home of %1 is %n %2") | english_format.kif 817-817 | stays and home are disjoint |
| (format JapaneseLanguage home "%1 の homeは %2 では %n") | english_format.kif 818-818 | stays and home are disjoint |
| antecedent |
|
|
| (=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 8187-8191 | If X is an instance of apartment unit and the home of Y is X, then Y doesn't possess X |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 8237-8243 | If X is an instance of single family residence, the home of Y is X, Y possesses X, and X is not an instance of building, then X is an instance of condominium unit |
| consequent |
|
|
| (=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE))) |
Merge.kif 16096-16099 | If X is an instance of permanent residence, then there exists Y such that the home of Y is X |
| (=> (instance ?RESIDENCE SingleFamilyResidence) (hasPurpose ?RESIDENCE (forall (?AGENT1 ?AGENT2) (=> (and (home ?AGENT1 ?RESIDENCE) (home ?AGENT2 ?RESIDENCE)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (member ?AGENT1 ?UNIT) (member ?AGENT2 ?UNIT))))))) |
Merge.kif 16127-16139 | If X is an instance of single family residence, then X has the purpose Y, Z the home of Y is X, the home of Z is Xthere exists W such that W is an instance of social unit, Y is a member of W, and Z is a member of W |
| (=> (instance ?UNIT SocialUnit) (exists (?HOME ?MEMBER) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 16635-16640 | If X is an instance of social unit, then there exist Y and Z such that Z is a member of Xthe home of Z is Y |
| (=> (neighbor ?PERSON1 ?PERSON2) (exists (?HOME1 ?HOME2) (and (home ?PERSON1 ?HOME1) (home ?PERSON2 ?HOME2) (not (equal ?HOME1 ?HOME2)) (orientation ?HOME1 ?HOME2 Near)))) |
Mid-level-ontology.kif 7759-7766 | If X is a neighbor of Y, then there exist Z, W such that the home of Y is Z, the home of X is W, equal Z, W, and Z is near to W |
| (=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9354-9356 | If X is a member of the resident of Y, then the home of X is Y |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 18397-18403 | If X is an instance of day school, then there doesn't exist Y such that Y is a student of X and the home of Y is X |
| (=> (and (instance ?MOVE MovingResidence) (agent ?MOVE ?AGENT)) (exists (?HOME1 ?HOME2) (and (holdsDuring (BeginFn (WhenFn ?MOVE)) (home ?AGENT ?HOME1)) (holdsDuring (EndFn (WhenFn ?MOVE)) (home ?AGENT ?HOME2)) (not (equal ?HOME1 ?HOME2))))) |
Mid-level-ontology.kif 19993-20001 | If X is an instance of moving and Y is an agent of X, then there exist Z, W such that the home of Y is Z holds during the beginning of the time of existence of X, the home of Y is W holds during the end of the time of existence of X, equal Z, and W |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 27308-27315 | If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V |
| (=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1513-1519 | If X is an instance of executive residence, then there exist Y, Z, W such that X is located at Y, the home of W is X, and Y chief of state Z for W |
|