Organization |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | 不相交的 Organization and Human |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3720-3724 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16612-16621 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | 子類 Organization and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16604-16604 | 子類 Organization and Group |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4725-4725 | 例 台灣美國研究所 and Organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5591-5591 | 例 BlueCrossBlueShield and Organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1740-1740 | 例 人納斯達克 and Organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3057-3057 | 範圍 協議組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18325-18325 | 範圍 DepartmentOfFn and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18397-18397 | 範圍 DepartmentOfPreventingFn and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | 範圍 行政部門 and Organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | 子類 Business and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7624-7624 | 子類 護理組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | 子類 Club and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8437-8437 | 子類 佣金 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7578-7578 | 子類 溝通組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | 子類 CopyrightAuthority and Organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | 子類 CrossFunctionalTeam and Organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | 子類 CustomerSupport and Organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16731-16731 | 子類 EducationalOrganization and Organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | 子類 金融機構 and Organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 子類 政府組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | 子類 HotelFrontDesk and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | 子類 國際組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | 子類 司法組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | 子類 立法組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | 子類 MarchingBand and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7594-7594 | 子類 媒體組織 and Organization |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | 子類 冶金廠 and Organization |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18323-18323 | 域 DepartmentOfFn, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18394-18394 | 域 DepartmentOfPreventingFn, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1761-1761 | 域 會員, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1782 | 域 成員角色, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2766-2766 | 域 accommodationProvider, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24140-24140 | 域 附屬組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24141-24141 | 域 附屬組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2585-2585 | 域 組織的目標, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24168-24168 | 域 祖先組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24169-24169 | 域 祖先組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2547-2547 | 域 businessUnit, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2058-2058 | 域 立法機關, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2059-2059 | 域 立法機關, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 664-664 | 域 checkInTime, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16833-16833 | 域 同事關係, 3 and Organization |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3630-3630 | 域 客戶代表, 3 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1820-1820 | 域 選舉組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1281-1281 | 域 行政部門, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2965-2965 | 域 grossMerchandiseBoughtInPeriod, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2994-2994 | 域 grossMerchandiseSoldInPeriod, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | 域 組織總部, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24146-24146 | 域 組織的意識形態歸屬, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7138-7138 | 域 投保, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2094 | 域 司法部門, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2000-2000 | 域 立法部門, 1 and Organization |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1774-1779 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4492-4496 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1301-1305 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1673-1679 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1340 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3063-3067 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10740-10748 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1831-1835 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10724-10732 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10610-10618 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10631-10643 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10620-10629 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2501-2508 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10540-10549 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1882-1886 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7068-7077 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13338-13349 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22160-22167 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20724-20732 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 91-95 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3704-3708 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3732-3736 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1289-1293 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 136-140 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22965-22974 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20552-20559 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2788-2793 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2795-2805 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3089-3096 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 935-940 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 369-377 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16058-16065 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2102-2106 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2007-2011 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1023-1027 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 951-955 |
|