property - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1704-1706
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 315-317
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1701-1701	域屬性, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	域屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1700-1700	例屬性 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 177-177
No TPTP formula. May not be expressible in strict first order.	english_format.kif 178-178
No TPTP formula. May not be expressible in strict first order.	french_format.kif 108-108
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 235-235
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1937-1937
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 223-223
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 127-127
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 113-113
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 427-427
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1723-1723	子關係抽象層次 and 屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1712-1712	子關係 attribute and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1620-1620	子關係複雜 and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1479-1479	子關係設計模式 and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 459-459	子關係環境屬性 and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1576-1576	子關係適應形式 and 屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1724-1724	子關係方式 and 屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17427-17427	子關係模態屬性 and 屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7630-7630	子關係 shape and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 902-902	子關係狀態 and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1659-1659	子關係嚴格 and 屬性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1448-1448	子關係系統行為 and 屬性

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.	Weather.kif 2662-2672	例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度是 Entity 的 air 溫度測量 29.530 and 英寸汞是 Entity 的 barometric 壓力
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	相反的屬性 @ROW 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 PositiveInteger and PositiveInteger 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2038-2042	例 Attribute and SpeedScaleAttribute 屬性 Entity and Attribute 例 Entity and Motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 331-335	例 Attribute and BeaufortNumberAttribute 屬性 Entity and Attribute 例 Entity and 風
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	例內容承載物理 and ContractDocument 包含信息內容承載物理 and Proposition 屬性 Proposition and 合同屬性 Proposition and 法
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2072-2076	例 Attribute and EFScaleAttribute 屬性 Entity and Attribute 例 Entity and 龍捲風
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 看漲期權時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Buying 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2782-2794	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 放選項時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Selling 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2425-2439	例 Process and 颶風例 Entity and SSHWS5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 157.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2347-2366	例 Process and 颶風例 SpeedScaleAttribute and SSHWSAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and UnitOfMeasure and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23897-23901	例 Attribute and 職業角色屬性 Entity and Attribute 例 Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 234-239	例 Entity and OrganicObject 例 Entity and DevelopmentalAttribute 持有期間 TimePosition and 屬性 Entity and Entity 持有期間 TimePosition and 發展形式 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1271-1275	例 Entity and 計算機路徑屬性 Entity and 連續路徑屬性 Entity and 準連續路徑
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1265-1269	例 Entity and 計算機路徑屬性 Entity and 連續路徑屬性 Entity and 瞬態路徑
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1243-1247	例 Entity and 計算機路徑屬性 Entity and 動態數據流屬性 Entity and 確定性數據流
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1237-1241	例 Entity and 計算機路徑屬性 Entity and 動態數據流屬性 Entity and 隨機數據流
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	例鐵路 and 鐵路屬性鐵路 and 寬規測量 RealNumber and 儀表是鐵路的 track 寬度比較多 RealNumber and 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	例鐵路 and 鐵路屬性鐵路 and 窄規測量 RealNumber and 儀表是鐵路的 track 寬度小於或等於 RealNumber and 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	例鐵路 and 鐵路屬性鐵路 and 標準規測量 RealNumber and 儀表是鐵路的 track 寬度大於或等於 RealNumber and 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	例鐵路 and 鐵路屬性鐵路 and 標準規測量 RealNumber and 儀表是鐵路的 track 寬度小於或等於 RealNumber and 1.44
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2341-2345	例 Attribute and SSHWSAttribute 屬性 Entity and Attribute 例 Entity and 颶風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2173-2187	例 Process and 龍捲風例 Entity and EF5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 200.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2078-2096	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	例 Process and 風例 Entity and BeaufortNumber12 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 73.0 相信 CognitiveAgent and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	例 Process and 風例 SpeedScaleAttribute and BeaufortNumberAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 測量 RealNumber and UnitOfMeasure 是 Object 的 surface 風速

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.	FinancialOntology.kif 3274-3280	採用協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1095-1098	電腦程序 ComputerProgram 是電腦程序的執行 program 屬性 ComputerProgram and 可執行
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 411-413	例 Entity and 寬軌鐵路屬性 Entity and 寬規
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 469-471	例 Entity and DualGaugeRailway 屬性 Entity and 雙軌鐵路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 460-462	例 Entity and 窄軌鐵路屬性 Entity and 窄規
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 443-445	例 Entity and 標準軌距鐵路屬性 Entity and 標準規
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15436-15439	協議有 expiration TimePoint 持有期間未來 TimePoint and 屬性協議 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15397-15402	TimeInterval 是協議的 agreement 週期 TimePoint 是協議的 agreement 生效日期持有期間 time 開始在 TimePoint 並且持續到 TimeInterval and 屬性協議 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17458-17471	attribute Object and Attribute 例 Attribute and SubjectiveAssessmentAttribute TimePosition Process and AutonomousAgent 例 Process and 判斷 agent Process and AutonomousAgent 患者 Process and Object 結果 Process and attribute Object and Attribute 持有期間 TimePosition and 相信 AutonomousAgent and 屬性 Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 469-477	相反的屬性 @ROW 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 PositiveInteger and PositiveInteger 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1176-1185	例金融賬戶 and 責任賬戶協議持有 account 金融賬戶金融賬戶是被協議 held CognitiveAgent 屬性 CognitiveAgent and 責任協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	例內容承載物理 and ContractDocument 包含信息內容承載物理 and Proposition 屬性 Proposition and 合同屬性 Proposition and 法
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1271-1275	例 Entity and 計算機路徑屬性 Entity and 連續路徑屬性 Entity and 準連續路徑
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1265-1269	例 Entity and 計算機路徑屬性 Entity and 連續路徑屬性 Entity and 瞬態路徑
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1243-1247	例 Entity and 計算機路徑屬性 Entity and 動態數據流屬性 Entity and 確定性數據流
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1237-1241	例 Entity and 計算機路徑屬性 Entity and 動態數據流屬性 Entity and 隨機數據流
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗例 CognitiveAgent and CognitiveAgent agent 試驗 and CognitiveAgent entity_COLL 是 entity_COLL 的 sample 對於試驗 Attribute 例 Attribute and Attribute 屬性 entity_COLL and Attribute 在感興趣的範圍內 CognitiveAgent and Attribute 等於 Attribute and RepresentativeSample 屬性 entity_COLL and Attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2726-2730	屬性協議 and 股票期權金融工具是協議的 underlier 屬性金融工具 and 普通股
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2112-2125	speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Physical RealNumber 例 Physical and Motion 屬性 Physical and SpeedScaleAttribute 測量 Physical and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22447-22460	CognitiveAgent 有 contract 去 build StationaryArtifact 協議 CognitiveAgent 屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議授予義務 entity StationaryArtifact2 例 entity and Constructing agent entity and CognitiveAgent 結果 entity and StationaryArtifact2 例 StationaryArtifact2 and StationaryArtifact, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1324	PositiveInteger 是計算機路徑的 data 鬆弛屬性計算機路徑 and 連續路徑屬性計算機路徑 and 準連續路徑
No TPTP formula. May not be expressible in strict first order.	Merge.kif 261-266	等於 Attribute and Attribute Entity 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 254-259	等於 Entity and Entity Attribute 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 326-331	例 Process and aqiqah ProcessGENT agent Process and ProcessGENT 屬性 Process and 穆斯林
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	例 Entity and 金融賬戶屬性 Entity and 金融合約屬性 Entity and 服務合同

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32247-32247	屬性 Cheetah and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32223-32223	屬性 Crocodile and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32264-32264	屬性 Ferret and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32282-32282	屬性 GuineaPig and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32294-32294	屬性 Hamster and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32153-32153	屬性 Lemur and CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32038-32038	屬性 Lion and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32183-32183	屬性 Octopus and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32170-32170	屬性 Panda and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32136-32136	屬性 Parrot and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32205-32205	屬性馴鹿 and VulnerableSpecies
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32113-32113	屬性 Rhinoceros and 瀕危物種
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32093-32093	屬性 Tiger and 瀕危物種

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: