Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Rinvoq
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AirlineAlliance EnglishLanguage "An airline alliance is an agreement between two or more airlines to cooperate on a substantial level.") | Society.kif 113-113 | |
| (subclass AirlineAlliance Organization) | Society.kif 114-114 | AirlineAlliance is a subclass of organization |
| antecedent |
|
|
| (=> (instance ?AA AirlineAlliance) (exists (?A1 ?A2 ?AGR) (and (instance ?A1 Airline) (instance ?A2 Airline) (instance ?AGR Agreement) (partyToAgreement ?A1 ?AGR) (partyToAgreement ?A2 ?AGR)))) |
Society.kif 116-124 | If X is an instance of AirlineAlliance, then there exist Y, Z, W such that Y is an instance of Airline, Z is an instance of Airline, W is an instance of agreement, W is a party to agreement of Y, and W is a party to agreement of Z |
|