Organization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | 机构 和 % 2 是 disjoint |
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 | 机构 是 施事体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16604-16604 | 机构 是 群组 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4725-4725 | 台湾美国研究所 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5591-5591 | BlueCrossBlueShield 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1740-1740 | 人纳斯达克 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3057-3057 | 协议组织 的 range 是 机构 的实例 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18325-18325 | DepartmentOfFn 的 range 是 机构 的实例 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18397-18397 | DepartmentOfPreventingFn 的 range 是 机构 的实例 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | 行政部门 的 range 是 机构 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | Business 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7624-7624 | 护理组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | Club 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8437-8437 | 佣金 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7578-7578 | 沟通组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | CopyrightAuthority 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | CrossFunctionalTeam 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | CustomerSupport 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16731-16731 | 教育机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | 金融机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 政府组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | HotelFrontDesk 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | 国际组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | 司法组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | 立法组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | MarchingBand 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7594-7594 | 媒体组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | 冶金厂 是 机构 的 subclass |
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 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18394-18394 | DepartmentOfPreventingFn 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1761-1761 | 会员 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1782 | 成员角色 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2766-2766 | accommodationProvider 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24140-24140 | 附属组织 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24141-24141 | 附属组织 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2585-2585 | 组织的目标 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24168-24168 | 祖先组织 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24169-24169 | 祖先组织 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2547-2547 | businessUnit 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2058-2058 | 立法机关 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2059-2059 | 立法机关 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 664-664 | checkInTime 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16833-16833 | colleague 的 3 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3630-3630 | 客户代表 的 3 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1820-1820 | 选举组织 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1281-1281 | 行政部门 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2965-2965 | grossMerchandiseBoughtInPeriod 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2994-2994 | grossMerchandiseSoldInPeriod 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | 组织总部 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24146-24146 | 组织的意识形态归属 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7138-7138 | 投保 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2094 | 司法部门 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2000-2000 | 立法部门 的 1 数量 是 机构 的 instance |
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 |