No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	长度测量 是 在地区 地理区域 的 total 管线 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果 金融账户 对于 时间位置 到期的 amount 货币测量 和 有认知的主事 持有 account 那个 金融账户 ， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	如果 限价订单 是 金融交易 的 attribute 和 协议 是 那个 金融交易 的 party 协议 和 经纪人 是 那个 协议 的 attribute 和 那个 金融交易 是 對於 安全 的 order 购买 和 那个 安全 的 measure 是 物理量 和 实数 测量单位 是 那个 金融交易 的 limit 价格 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 施事体 为了 那个 安全 asks 另一个 实数 那个 测量单位 和 那个 另外 实数 是 lessThanOrEqualTo 那个 实数， 然后 那个 协议 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果 限价订单 是 金融交易 的 attribute 和 协议 是 那个 金融交易 的 party 协议 和 经纪人 是 那个 协议 的 attribute 和 那个 金融交易 是 對於 安全 的 order 出售 和 那个 安全 的 measure 是 物理量 和 实数 测量单位 是 那个 金融交易 的 limit 价格 和 施事体 bids 另一个 实数 那个 测量单位 對於 那个 安全 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数， 然后 那个 协议 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	如果 市场秩序 是 金融交易 的 attribute 和 经纪人 是 协议 的 attribute 和 那个 协议 是 那个 金融交易 的 party 协议 和 那个 金融交易 是 對於 安全 的 order 另一个 有点 金融交易 ， 然后 那个 协议 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数 和 那个 MonoploidChromosomeSet 是 那个 群体 的 真正的子集， 然后 那个 整数 equal 那个 整数 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 Auctioning 的 instance ， 然后 有存在 符号串 和 实体_PURCHASE_AMOUNT 这样 total 价值在 那个 符号串 所描述的类别 是 那个 实体_PURCHASE_AMOUNT 和 那个 群体 的 total purchase price equal 那个 实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	如果 金融账户 是 信用账户 的 instance 和 有认知的主事 持有 account 那个 金融账户 和 实数 是 那个 金融账户 的 principal 总额 和 时距 是 那个 金融账户 的 agreement 週期 和 那个 金融账户 是 对于 %3 的赚取 interest 和 另一个 实数 equal (那个 实数 和 利益)， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	如果 贷款 是 贷款 的 instance 和 那个 贷款 是 有认知的主事 的 borrower 和 实数 是 那个 贷款 的 principal 总额 和 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 和 另一个 实数 equal (那个 实数 和 利益)， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 金融交易 的 instance ， 然后 有存在 符号串 和 实体 这样 那个 符号串 所描述的类别 instance 的数量 equal 在 那个 群体 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance ， 然后 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 所描述的类别 instance 的数量 和 那个 群体 instance 的数量 equal 在 那个 群体 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 WebListing 的 instance ， 然后 有存在 符号串， 实体,， ， 另一个 实体， and 和 那个 符号串 这样 那个 符号串 所描述的类别 instance 的数量 equal 在 那个 群体 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	如果 试验 是 试验 的 instance 和 时距 是 时距 的 instance， 然后 符号串 所描述的类别 instance 的数量 和 另一个 符号串 所描述的类别 instance 的数量 equal purchases per user 在 那个 试验 期间 那个 时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	如果 试验 是 试验 的 instance 和 实体 是 时距 的 instance， 然后 符号串 所描述的类别 instance 的数量 和 另一个 符号串 所描述的类别 instance 的数量 equal purchases per user 在 那个 试验
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	如果 设备 是 枪 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 实数 那个 测量单位 是 那个 设备 的 effective 范围 和 那个 设备 和 客体 的 distance 是 那个 实数1 那个 测量单位 和 那个 客体 是 生物 的 instance 和 不存在 那个 客体2 这样 那个 客体2 是在 那个 客体 和 那个 设备 between 和 那个 实数1 是 lessThanOrEqualTo 那个 实数， 然后 有存在 符号串 这样 那个 设备 能够担当 工具 的角色做 那个 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	如果 设备 是 枪 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 实数 那个 测量单位 是 那个 设备 的 effective 范围 和 那个 设备 和 客体 的 distance 是 那个 实数1 那个 测量单位 和 不存在 那个 客体2 这样 那个 客体2 是在 那个 客体 和 那个 设备 between 和 那个 实数1 是 lessThanOrEqualTo 那个 实数， 然后 有存在 符号串 这样 那个 设备 能够担当 工具 的角色做 那个 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	如果 可穿戴物品 是 听力保护 的 instance 和 动物 是 人类 的 instance 和 那个 动物 wears 那个 可穿戴物品， 然后 那个 可穿戴物品 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 过程 的 instance 和 那个 另外 实体 是 那个 第三 实体 所描述的类别 的 subclass 和 那个 实体 prevents 那个 另外 实体 的发生 和 那个 可穿戴物品 是导致 那个 实体 的 instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	如果 贷款 是 气球贷款 的 instance 和 日 是 那个 贷款 的 maturity 日期 和 货币测量 是 那个 贷款 的 total 存款 和 那个 贷款 是 有认知的主事 的 borrower ， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	如果 贷款 是 可赎回贷款 的 instance 和 有认知的主事 lends 那个 贷款 和 那个 贷款 是 另一个 有认知的主事 的 borrower 和 货币测量 是 那个 贷款 的 total 存款 和 过程 是 呼叫 的 instance 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 贷款 是 那个 过程 的 patient， 然后 那个 另外 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	如果 SearchResultsPage 是 SearchResultsPage 的 instance 和 串列 是 SRPResults 的 instance 和 那个 串列 是 那个 SearchResultsPage 的 component， 然后 符号串 所描述的类别 instance 的数量 和 那个 串列 的长度 equal qualifying clicks 在 那个 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	如果 物理 是 抛射物 的 instance 和 长度测量 是 有点 枪 的 caliber 和 客体 是 有点 枪 的 instance 和 那个 物理 的 width 是 那个 长度测量1 和 那个 长度测量 equal 那个 长度测量1， 然后 那个 客体 能够担当 工具 的角色做 符号串 所描述的类别
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 购买 的 instance 和 有存在 客体 这样 那个 客体 是 地缘政治区域 的 instance 和 对所有 施事体 和 过程 如果 那个 施事体 是 施事体 的 instance 和 那个 过程 是 购买 的 instance 和 那个 过程 是 那个 群体 的 member 和 那个 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 located 在 那个 客体 ， 然后 有存在 符号串， 实体， and 和 另一个 实体_PURCHASE_AMOUNT 这样 total 价值在 那个 符号串 所描述的类别 是 那个 另外 实体_PURCHASE_AMOUNT 和 那个 群体 的 value equal 那个 另外 实体_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	如果 群体 是 群体 的 instance 和 对所有 物理 如果 那个 物理 是 那个 群体 的 member， 然后 那个 物理 是 出售 的 instance 和 有存在 客体 这样 那个 客体 是 地缘政治区域 的 instance 和 对所有 施事体 和 过程 如果 那个 施事体 是 施事体 的 instance 和 那个 过程 是 购买 的 instance 和 那个 过程 是 那个 群体 的 member 和 那个 施事体 是 那个 过程 的 agent， 然后 那个 施事体 是 located 在 那个 客体 ， 然后 有存在 符号串， 实体， and 和 另一个 实体_SALE_AMOUNT 这样 total 价值在 那个 符号串 所描述的类别 是 那个 另外 实体_SALE_AMOUNT 和 那个 群体 的 value equal 那个 另外 实体_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果 可穿戴物品 是 安全套 的 instance 和 动物 是 动物 的 instance 和 那个 动物 wears 那个 可穿戴物品， 然后 那个 可穿戴物品 的 目的 是 有存在 实体， 另一个 实体， and 和 第三 实体 这样 那个 实体 是 过程 的 instance 和 那个 可穿戴物品 是导致 那个 实体 的 instrument 和 那个 动物 是 那个 实体 的 patient 和 那个 另外 实体 是 那个 第三 实体 所描述的类别 的 subclass 和 那个 实体 prevents 那个 另外 实体 的发生
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners